Перегляд за автором "Редько, В.Н."

Сортувати за: Порядок: Результатів:

  • Аксiоматика багатозначних залежностей табличних баз даних 
    Редько, В.Н.; Буй, Д.Б.; Пузiкова, А.В. (Доповіді НАН України, 2015)
    Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та ...
  • Дескриптивные системы: концептуальный базис 
    Редько, В.Н.; Редько, И.В.; Гришко, Н.В. (2006)
    Строятся концептуальные основания дескриптивных систем. Эксплицируется понятие сущностной платформы. Вскрываются прагматико-онтологические ее предпосылки. Излагаются основания прагматической эпистемологии и строится ...
  • Дескриптологическая среда информационных технологий 
    Редько, В.Н.; Редько, И.В.; Гришко, Н.В. (2004)
    Создаются дескриптологические основания информационных технологий. Дается экспликация понятия дескрипции как дескриптивного процесса. На этой основе строится полная система дескриптологических операций. Вводится ...
  • Дескриптологические основания сущностной платформы 
    Редько, В.Н.; Редько, И.В.; Гришко, Н.В. (2010)
    Построен базис дескриптологии как прагматической эпистемологии. Созданы прагматико-эпистемологические основания типологии. Разработан универсальный типологический метод эволюционного развития понятийной системы сущностной ...
  • Дефинитологические основания сущностной платформы 
    Редько, В.Н.; Редько, И.В.; Гришко, В.Н. (Проблеми програмування, 2012)
    Даются экспликации дескриптивной и дефинитной систем. Строятся дефинитологические основания сущностной платформы. Эксплицируется взаимодополнение актуальных и потенциальных, композиционных и декомпозиционных систем. Строятся ...
  • Некоторые равенства в табличных алгебрах 
    Редько, В.Н.; Буй, Д.Б.; Сенченко, А.С. (Доповіді НАН України, 2014)
    Найдены необходимые и достаточные условия, при которых одиннадцать включений, выполняемых в табличных алгебрах, превращаются в равенства. Эти условия выражаются в терминах активных доменов таблиц и являются естественными.
  • Об инвариантности ключей относительно операций табличных алгебр 
    Редько, В.Н.; Буй, Д.Б.; Сенченко, А.С. (Кибернетика и системный анализ, 2015)
    Исследована задача инвариантности ключей, в том числе и простых, относительно операций табличных алгебр — современного аналога классических реляционных алгебр Кодда. Показано, что ключи инвариантны относительно операций ...
  • Примітивні програмні алгебри функцій множинних (мультимножинних) аргументів та значень 
    Богатирьова, Ю.О.; Буй, Д.Б.; Редько, В.Н. (Доповіді НАН України, 2011)
    Розглядається обчислюваність на множинах та мультимножинах. Обчислюваність вводиться як нумераційна обчислюваність та апаратом для задання класу обчислюваних функцій виступають примітивні програмні алгебри. Побудовано ...
  • Программологические основания сущностной платформы 
    Редько, В.Н.; Редько, И.В.; Гришко, Н.В. (2008)
    Доказываются тезисы экзистонности, компаундности, полиадности и полноты. Обосновывается их согласованность с принципом обратимости. Строятся программологические основания сущностной платформы.
  • Современное состояние теории мультимножеств с сущностной точки зрения 
    Редько, В.Н.; Буй, Д.Б.; Гришко, Ю.А. (Кибернетика и системный анализ, 2015)
    Предлагаемая обзорная статья посвящена современному состоянию теории мультимножеств — математических моделей совокупностей с повторениями (дубликатами, экземплярами своих элементов). Соответствующая библиография разделена ...
  • Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах 
    Редько, В.Н.; Буй, Д.Б.; Канарская, И.С.; Сенченко, А.С. (Кибернетика и системный анализ, 2017)
    Исследованы алгоритмы, реализующие пересечение, объединение и разность в табличных алгебрах. Предложены модификации наиболее распространенных алгоритмов, позволяющие сократить количество вычислений. На основе оценки сложности ...
  • Экзистенциальные основания композиционной парадигмы 
    Редько, В.Н.; Редько, И.В. (Кибернетика и системный анализ, 2008)
    Доведено тези екзистонності, компаундності та поліадності. Обурунтовано їх узгодженість з принципом зворотності. Побудовано екзистенціальні засади композиційної парадигми.